Distributed adaptive switching consensus control of heterogeneous multi-agent systems with switched leader dynamics

In this paper, the leader-following distributed consensus control problem is addressed for general linear multi-agent systems with heterogeneous uncertain agent dynamics and switched leader dynamics. Different from most existing results with a single linear time-invariant (LTI) leader dynamics, the leader dynamics under consideration is composed by a family of LTI models and a switching logic governing the switches among them, which is capable of generating more diverse and sophisticated reference signals to accommodate more complicated consensus control design tasks. A novel distributed adaptive switching consensus protocol is developed by incorporating the model reference adaptive control mechanism and arbitrary switching control technique, which can be synthesized by following a two-layer hierarchical design scheme. A numerical example has been used to demonstrate the effectiveness of the proposed approach.     

Resilient dissipative dynamic output feedback control for uncertain Markov jump Lur’e systems with time-varying delays

The resilient dissipative dynamic output feedback control problem for a class of uncertain Markov jump Lur’e systems with piecewise homogeneous transition probabilities and time-varying delays in the discrete-time domain are examined in this study. The designed controller can tolerate additive uncertainties in the controller gain matrix, which result from controller implementations. The time-varying delays are also supposed to be mode-dependent with lower and upper bounds known a priori. By constructing a Lyapunov–Krasovskii functional candidate, the sufficient conditions regarding the existence of desired resilient dissipative controllers are obtained in terms of linear matrix inequalities, thereby ensuring that the resulting closed-loop system is stochastically stable and strictly dissipative. Two numerical examples were established to illustrate the effectiveness of the proposed theoretical results.     

First steps toward formal controller synthesis for bipedal robots with experimental implementation

Bipedal robots are prime examples of complex cyber–physical systems (CPSs). They exhibit many of the features that make the design and verification of CPS so difficult: hybrid dynamics, large continuous dynamics in each mode (e.g., 10 or more state variables), and nontrivial specifications involving nonlinear constraints on the state variables. In this paper, we propose a two-step approach to formally synthesize controllers for bipedal robots so as to enforce specifications by design and thereby generate physically realizable stable walking. In the first step, we design outputs and classical controllers driving these outputs to zero. The resulting controlled system evolves on a lower dimensional manifold and is described by the hybrid zero dynamics governing the remaining degrees of freedom. In the second step, we construct an abstraction of the hybrid zero dynamics that is used to synthesize a controller enforcing the desired specifications to be satisfied on the full order model. Our two step approach is a systematic way to mitigate the curse of dimensionality that hampers the applicability of formal synthesis techniques to complex CPS. Our results are illustrated with simulations showing how the synthesized controller enforces all the desired specifications and offers improved performance with respect to a classical controller. The practical relevance of the results is illustrated experimentally on the bipedal robot AMBER 3.     

Computational method for optimal control of switched systems with input and state constraints

In this paper, we consider an optimal control problem of switched systems with input and state constraints. Since the complexity of such constraint and switching laws, it is difficult to solve the problem using standard optimization techniques. In addition, although conjugate gradient algorithms are very useful for solving nonlinear optimization problem, in practical implementations, the existing Wolfe condition may never be satisfied due to the existence of numerical errors. And the mode insertion technique only leads to suboptimal solutions, due to only certain mode insertions being considered. Thus, based on an improved conjugate gradient algorithm and a discrete filled function method, an improved bi-level algorithm is proposed to solve this optimization problem. Convergence results indicate that the proposed algorithm is globally convergent. Three numerical examples are solved to illustrate the proposed algorithm converges faster and yields a better cost function value than existing bi-level algorithms.     

A hybrid feedback control strategy for autonomous waypoint transitioning and loitering of unmanned aerial vehicles

We consider the problem of autonomously controlling a fixed-wing aerial vehicle to visit a neighborhood of a pre-defined waypoint, and when nearby it, loiter around it. To solve this problem, we propose a hybrid feedback control strategy that unites two state-feedback controllers: a transit controller capable of steering or transitioning the vehicle to nearby the waypoint and a loiter controller capable of steering the vehicle about a loitering radius. The aerial vehicle is modeled on a level flight plane with system performance characterized in terms of the aerodynamic, propulsion, and mass properties. Thrust and bank angle are the control inputs. Asymptotic stability properties of the individual control algorithms, which are designed using backstepping, as well as of the closed-loop system, which includes a hybrid algorithm uniting the two controllers, are established. In particular, for this application of hybrid feedback control, Lyapunov functions and hybrid systems theory are employed to establish stability properties of the set of points defining loitering. The analytical results are confirmed numerically by simulations.     

时滞离散网络模型的动力学分析与同步

复杂网络广泛存在于日常生活,首先,给出几类标准的网络模型;然后,利用稳定性控制方法设计并实现了具有时滞与非时滞耦合的复杂网络模型快速控制;最后,通过构造优化Lyapunov函数,讨论其模型的射影同步问题,得到了系统全局稳定的条件和有效的控制器,以实例数值验证其方法的可行性。     

Qualitative and quantitative analysis of chemical constituents in Ardisiae Japonicae Herba

Ardisiae Japonicae Herba is a well‐known traditional Chinese medicine for the treatment of bronchitis conjunctivitis, pneumonia, and trauma. In this work, a high‐performance liquid chromatography coupled with quadrupole time‐of‐flight mass spectrometry method was first established for the separation and structural identification of the chemical constituents in Ardisiae Japonicae Herba. A total of 15 compounds including coumarins, flavonoid glycosides, and catechins were identified or tentatively characterized based on their chromatographic behaviors and mass spectral fragmentation and by comparisons with the reference standards. Furthermore, a simple high‐performance liquid chromatography with diode array detection method was developed for the simultaneous determination of five major constituents. Results obtained from method validation, including linearity, precision, repeatability, stability, and recovery, showed that the established method was reliable and accurate. Bergenin and quercitrin were found to be the most abundant constituents and could be served as chemical markers for quality control of Ardisiae Japonicae Herba.     

Error Estimates for a Class of Elliptic Optimal Control Problems

In this article, functional type a posteriori error estimates are presented for a certain class of optimal control problems with elliptic partial differential equation constraints. It is assumed that in the cost functional the state is measured in terms of the energy norm generated by the state equation. The functional a posteriori error estimates developed by Repin in the late 1990s are applied to estimate the cost function value from both sides without requiring the exact solution of the state equation. Moreover, a lower bound for the minimal cost functional value is derived. A meaningful error quantity coinciding with the gap between the cost functional values of an arbitrary admissible control and the optimal control is introduced. This error quantity can be estimated from both sides using the estimates for the cost functional value. The theoretical results are confirmed by numerical tests.